REF, NoConds \\[0ex]($a$ THENM $b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(($a$) THENM ($b$))$\cdot$